منابع مشابه
Two Logical Hierarchies of Optimization Problems over the Real Numbers
We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [11], [10]). More precisely, based on a real analogue of Fagin’s theorem [11] we deal with two classes MAX-NPR and MIN-NPR of maximization and minimization problems, respectively, and figure out their ...
متن کاملContinuity and Logical Completeness: An Application of Sheaf Theory and Topoi
The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the eld of real numbers in many ways, but instead form a ring. Topos theory perm...
متن کاملSome properties of fuzzy real numbers
In the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. In this study, we try to prove Bernoulli's inequality in fuzzy real numbers with some of its applications. Also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.
متن کاملNumerology in Topoi
This paper studies numerals (see definition that immediately follows), natural numbers objects and, more generally, free actions, in a topos. A pre-numeral is a poset with a constant, 0, and a unary operation, s, such that: PN1) x ≤ y ⇒ sx ≤ sy PN2) x ≤ sx A numeral is a “minimal” pre-numeral, that is, one such that any s-invariant subobject containing 0 is entire. 1. Lemma. A pre-numeral is a ...
متن کاملthe relationship between efl learners linguistic and logical intelligence and the frequency and types of informal fallacies and evidence in argumentative writing
مطالعه حاضر با هدف بررسی وجود رابطه ی ممکن میان هوشهای زبانی و منطقی زبان آموزان انگلیسی و تعداد و انواع مغلطه های زبانی و شواهد در متنهای استدلالی آنان انجام پذیرفته است.بدین منظور، 70 زبان آموز با سطح زبانی متوسط به بالا از دو موسسه زبان انگلیسی در ایران انتخاب شده و پرسشنامه های مزبوطه را تکمیل نموده و متنی استدلالی نوشتند. متون نوشته شده مورد بررسی قرار گرفته و نمرات پرسشنامه ها محاسبه شده ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1986
ISSN: 0022-4049
DOI: 10.1016/0022-4049(86)90091-5